Nuprl Definition : deq-member
0,22
postcript
pdf
deq-member(
eq
;
x
;
L
) == reduce(
a
,
b
. eqof(
eq
)(
a
,
x
)
b
;false
;
L
)
latex
Definitions
false
,
eqof(
d
)
,
p
q
,
reduce(
f
;
k
;
as
)
FDL editor aliases
deq-member
origin
a,b. eqof(eq)(a,x) 
b;false;L) a,b. eqof(eq)(a,x) b;false;L) q